Generalized dualities and higher derivatives

Higher-order languages: dualities and bisimulation enhancements

Generalized Ricci Flow I: Higher Derivatives Estimates for Compact Manifolds

In this paper, we consider a generalized Ricci flow and establish the higher derivatives estimates for compact manifolds. As an application, we prove the compactness theorem for this generalized Ricci flow.

GENERALIZED HIGHER-RANK NUMERICAL RANGE

In this note, a generalization of higher rank numerical range isintroduced and some of its properties are investigated

Thermoelastic Response of a Rotating Hollow Cylinder Based on Generalized Model with Higher Order Derivatives and Phase-Lags

Generalized thermoelastic models have been developed with the aim of eliminating the contradiction in the infinite velocity of heat propagation inherent in the classical dynamical coupled thermoelasticity theory. In these generalized models, the basic equations include thermal relaxation times and they are of hyperbolic type. Furthermore, Tzou established the dual-phase-lag heat conduction theo...

Canonical formulas via locally finite reducts and generalized dualities

Axiomatizability, the finite model property (FMP), and decidability are some of the most frequently studied properties of non-classical logics. One of the first general methods of axiomatizing large classes of superintuitionistic logics (si-logics for short) was developed by Jankov [8]. For each finite subdirectly irreducible Heyting algebra A, Jankov designed a formula that encodes the structu...